#include<stdio.h>

int main()
{
	int num;
	scanf("%d",&num);
	if(num%7==0&&num%5==0)
	{
		printf("yes");
	}
	else printf("no");
	return 0;
}